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