Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2004.10667
Cited By
v1
v2
v3 (latest)
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)
21 April 2020
Yutaka Nagashima
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)"
2 / 2 papers shown
Rigor with Machine Learning from Field Theory to the Poincaré Conjecture
Sergei Gukov
James Halverson
Fabian Ruehle
AI4CE
177
24
0
20 Feb 2024
Genetic Algorithm for Program Synthesis
Fundamentals of Software Engineering (FSE), 2022
Yutaka Nagashima
190
1
0
22 Nov 2022
1
Page 1 of 1
