Wenda Li
~Wenda_Li1
7
论文总数
7.0
年均投稿
平均评分
接收情况5/7
会议分布
NeurIPS
4
ICLR
3
发表论文 (7 篇)
20247 篇
4
Multi-language Diversity Benefits Autoformalization
NeurIPS 2024Poster
4
Multilingual Mathematical Autoformalization
ICLR 2024Rejected
3
Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving
ICLR 2024Rejected
4
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
ICLR 2024Poster
4
End-to-End Ontology Learning with Large Language Models
NeurIPS 2024Poster
4
Proving Theorems Recursively
NeurIPS 2024Poster
4
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
NeurIPS 2024Poster