Adel Bouhoula

1 papers · 2024–2024 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (5) 📈 Trend Setter

Conferences

IJCAI (1)

Top co-authors

Miki Hermann (1)

Keywords

theorem proving (1) automated induction (1) formal methods (1) grammar inference (1) automated reasoning (1) primal grammar (1) inductive proof (1)

Papers

Primal Grammars Driven Automated Induction IJCAI 2024