tree ~/research
Research
projects
∑AI for Mathematics
sat- Development and benchmarking of agentic systems with computational tools for solving real-world mathematical problems — Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics ICML 2026
- Applying Transformers to modeling sequences with group structure, with applications to homotopy groups of spheres — Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu's formula ICML 2024
♟LLM Agents in Games and Interactive Environments
unknownDevelopment and evaluation of LLM agentic pipelines for long-horizon planning and reasoning in games and interactive environments.
⊢Neuro-Symbolic Verified Reasoning
unknownLLM verifiable reasoning with feedback from symbolic solvers (SMT/SAT) and compilers.
∂Geometry and Topology for Deep Learning
satGeometric and topological methods for studying, improving, and developing deep learning models.
- PhD project: Methods of geometry and topology in the study of deep learning models thesis
- Sheaf theory: from deep geometry to deep learning — a survey of sheaf theory applications across computer science, data analysis, and mathematics arXiv 2025
⌖AI-Generated Content Detection
sat; status = solver verdict: sat — published results, unknown — work in progress