Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2009.09215
Cited By
v1
v2
v3
v4 (latest)
Faster Smarter Induction in Isabelle/HOL
International Joint Conference on Artificial Intelligence (IJCAI), 2020
19 September 2020
Yutaka Nagashima
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Faster Smarter Induction in Isabelle/HOL"
3 / 3 papers shown
Learning Conjecturing from Scratch
CADE (CADE), 2025
Thibault Gauthier
J. Urban
LRM
244
3
0
03 Mar 2025
Genetic Algorithm for Program Synthesis
Fundamentals of Software Engineering (FSE), 2022
Yutaka Nagashima
190
1
0
22 Nov 2022
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
Yutaka Nagashima
LRM
205
3
0
19 Oct 2020
1
Page 1 of 1
