Chuanyang Zheng

According to our database1, Chuanyang Zheng authored at least 21 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Lyra: Orchestrating Dual Correction in Automated Theorem Proving.
Trans. Mach. Learn. Res., 2024

DAPE V2: Process Attention Score as Feature Map for Length Extrapolation.
CoRR, 2024

UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference.
CoRR, 2024

UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation.
CoRR, 2024

RoboCoder: Robotic Learning from Basic Skills to General Tasks with Large Language Models.
CoRR, 2024

CAPE: Context-Adaptive Positional Encoding for Length Extrapolation.
CoRR, 2024

On the Expressive Power of a Variant of the Looped Transformer.
CoRR, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

Towards Better Vision-Inspired Vision-Language Models.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

2023
A Survey of Reasoning with Foundation Models.
CoRR, 2023

Aria-NeRF: Multimodal Egocentric View Synthesis.
CoRR, 2023

LEGO-Prover: Neural Theorem Proving with Growing Libraries.
CoRR, 2023

FIMO: A Challenge Formal Dataset for Automated Theorem Proving.
CoRR, 2023

Progressive-Hint Prompting Improves Reasoning in Large Language Models.
CoRR, 2023

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022
A permission-combination scalable access control model for Internet of things.
Trans. Emerg. Telecommun. Technol., 2022

SAViT: Structure-Aware Vision Transformer Pruning via Collaborative Optimization.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2020
Nonnegative Residual Matrix Factorization for Community Detection.
Proceedings of the Web Information Systems Engineering - WISE 2020, 2020

2019
Group Key Agreement Protocol Based on Privacy Protection and Attribute Authentication.
IEEE Access, 2019

Adaptive Person-Specific Appearance-Based Gaze Estimation.
Proceedings of the Digital TV and Wireless Multimedia Communication, 2019


  Loading...