Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proving Theorems Recursively., , , , , , , , , and 1 other author(s). CoRR, (2024)YODA: Teacher-Student Progressive Learning for Language Models., , , , , , , , , and 3 other author(s). CoRR, (2024)Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis., , , , , and . EMNLP (Findings), page 4916-4928. Association for Computational Linguistics, (2023)MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models., , , , , , , , , and 9 other author(s). CoRR, (2024)FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving., , , , , , , and . CoRR, (2024)Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios., , , , , , , , , and 3 other author(s). ACL (Findings), page 4363-4400. Association for Computational Linguistics, (2024)SELF: Language-Driven Self-Evolution for Large Language Model., , , , , , , , and . CoRR, (2023)AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation., , , , , , , and . CoRR, (2024)MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation., , , , , , and . CoRR, (2024)Process-Driven Autoformalization in Lean 4., , , , , , , and . CoRR, (2024)