Wenda Li
17 papers · 2021–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🗺️ Taxonomy Completionist (38) 🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
👑
Triple Crown
🏆
Grand Slam
🚀
Conference Pioneer
🔥
Unstoppable · Bronze
⚡
Prolific Year · Productive
💎
Century Club · Bronze
🌈
Renaissance Researcher
(5)
📈
Trend Setter
🗃️
Keyword Collector
(75)
Top co-authors
Research topics
Artificial Intelligence
(12)
Core AI
(12)
Natural Language Processing
(8)
Deep Learning
(7)
Resources & Methods
(7)
Machine Learning
(6)
Learning Types · Machine Learning
(4)
Knowledge & Reasoning
(3)
Applications
(3)
Models
(3)
Architectures
(2)
Core Methods
(2)
Generation
(2)
Learning Types · Deep Learning
(2)
Optimization & Theory
(2)
Keywords
large language model
(7)
mathematical reasoning
(6)
formal verification
(4)
automated theorem proving
(3)
transfer learning
(3)
theorem prover
(2)
proof assistant
(2)
language model
(2)
theorem proving
(2)
information retrieval
(1)
reinforcement learning from human feedback
(1)
knowledge representation
(1)
graph embedding
(1)
majority voting
(1)
synthetic data generation
(1)
diffusion model
(1)
automated reasoning
(1)
recursive algorithm
(1)
knowledge graph
(1)
taxonomy construction
(1)
Papers
Neural Graph Navigation for Intelligent Subgraph Matching
AAAI 2026
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
Position: Formal Mathematical Reasoning—A New Frontier in AI
ICML 2025
Theorem Prover as a Judge for Synthetic Data Generation
ACL 2025
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
ICLR 2024
EndoSelf: Self-Supervised Monocular 3D Scene Reconstruction of Deformable Tissues with Neural Radiance Fields on Endoscopic Videos
MICCAI 2024
End-to-End Ontology Learning with Large Language Models
NeurIPS 2024
Multi-language Diversity Benefits Autoformalization
NeurIPS 2024
Proving Theorems Recursively
NeurIPS 2024
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
NeurIPS 2024
Subgoal-based Demonstration Learning for Formal Theorem Proving
ICML 2024
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
ICLR 2023
Autoformalization with Large Language Models
NeurIPS 2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
NeurIPS 2022
IsarStep: a Benchmark for High-level Mathematical Reasoning
ICLR 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
ICML 2021