α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Amir Dezfouli
Amir Dezfouli
4
papers
57
total citations
papers (4)
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
NEURIPS 2021
arXiv
46
citations
The Contextual Lasso: Sparse Linear Models via Deep Neural Networks
NEURIPS 2023
arXiv
7
citations
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
AAAI 2024
arXiv
3
citations
3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
NEURIPS 2025
arXiv
1
citations