Wenda Li
17 papers · 2021–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Cross-Pollinator (13) π Conference Polyglot (5) π Interdisciplinary Bridge π§ Keyword Pioneer π Academic Marathon (5)
π
Renaissance Researcher
(6)
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
π
Triple Crown
π
Grand Slam
π₯
Unstoppable
(5)
π
Century Club
(16)
π
Conference Pioneer
ποΈ
Keyword Collector
(59)
β‘
Prolific Year
(7)
Conferences
NIPS (6)
ICLR (3)
ICML (3)
ACL (2)
MICCAI (2)
AAAI (1)
Top co-authors
Keywords
large language model
(5)
transfer learning
(3)
mathematical reasoning
(3)
language model
(2)
formal verification
(2)
automated theorem proving
(2)
theorem prover
(2)
information retrieval
(1)
reinforcement learning from human feedback
(1)
knowledge representation
(1)
synthetic data generation
(1)
automated reasoning
(1)
graph embedding
(1)
recursive reasoning
(1)
multilingual nlp
(1)
inductive bia
(1)
recursive algorithm
(1)
taxonomy construction
(1)
knowledge graph
(1)
semantic similarity
(1)
Papers
Neural Graph Navigation for Intelligent Subgraph Matching
AAAI 2026
Position: Formal Mathematical ReasoningβA New Frontier in AI
ICML 2025
Theorem Prover as a Judge for Synthetic Data Generation
ACL 2025
Eeyore: Realistic Depression Simulation via Expert-in-the-Loop Supervised and Preference Optimization
ACL 2025
Enforcing Geometric Constraints of Surface Normal and Pose for Self-supervised Monocular Depth Estimation on Laparoscopic Images
MICCAI 2025
End-to-End Ontology Learning with Large Language Models
NIPS 2024
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
ICLR 2024
Subgoal-based Demonstration Learning for Formal Theorem Proving
ICML 2024
EndoSelf: Self-Supervised Monocular 3D Scene Reconstruction of Deformable Tissues with Neural Radiance Fields on Endoscopic Videos
MICCAI 2024
Proving Theorems Recursively
NIPS 2024
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
NIPS 2024
Multi-language Diversity Benefits Autoformalization
NIPS 2024
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
ICLR 2023
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
NIPS 2022
Autoformalization with Large Language Models
NIPS 2022
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
ICML 2021
IsarStep: a Benchmark for High-level Mathematical Reasoning
ICLR 2021