影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
34.98/100
前 18.9%
全站排名 #12,187
发表论文7 篇
平均评分
年均产出3.5 篇/年
Vijay Ganesh
研究方向
Certification-Driven Reinforcement Learning · Reinforcement Learning with Symbolic Feedback · Combinations of LLMs and symbolic Reasoning (e.g. · LEAN · solvers · verifiers) · Solvers for Machine Learning · Logic Guided Machine Learning · NeuroSymbolic AI · Proof complexity and foundations of mathematics · Machine Learning for Solvers · SAT/SMT Solvers and Proof Assistants · Software engineering · formal methods · program analysis · AI · Applications of solvers in math and physics
18
Learning Data-Efficient and Generalizable Neural Operators via Fundamental Physics Knowledge
ICLR 2026Poster
通讯34
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
ICLR 2026Poster
通讯6
TRI-ANSLATE: LLM-Based Code Translation Of High-Performance Software
ICLR 2026Desk Rejected
17
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
ICLR 2026Rejected
二作