Picture for Chuanyang Zheng

Chuanyang Zheng

RoboCoder: Robotic Learning from Basic Skills to General Tasks with Large Language Models

Add code
Jun 06, 2024
Viaarxiv icon

CAPE: Context-Adaptive Positional Encoding for Length Extrapolation

Add code
May 23, 2024
Viaarxiv icon

On the Expressive Power of a Variant of the Looped Transformer

Add code
Feb 21, 2024
Viaarxiv icon

A Survey of Reasoning with Foundation Models

Add code
Dec 26, 2023
Viaarxiv icon

Aria-NeRF: Multimodal Egocentric View Synthesis

Add code
Nov 11, 2023
Viaarxiv icon

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Add code
Oct 24, 2023
Viaarxiv icon

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Add code
Oct 19, 2023
Viaarxiv icon

LEGO-Prover: Neural Theorem Proving with Growing Libraries

Add code
Oct 12, 2023
Viaarxiv icon

Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Add code
Oct 07, 2023
Viaarxiv icon

FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Add code
Sep 08, 2023
Viaarxiv icon