Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
Kappelmann, Kevin;Schäffeler, Maximilian;Stevens, Lukas;Abdulaziz, Mohammad;Popescu, Andrei;Traytel, Dmitriy
Description
Supplementary material for the paper "Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints"
Citations (0)
No citations found
It looks like this dataset has no citations.
Mentions (0)
No mentions found
It looks like this dataset has not been mentioned in any sources.
Metrics Over Time
Publication Details
Subfield
Mechanical Engineering
Field
Engineering
Domain
Physical Sciences
Confidence Score
43%
Source
Scholar Data Model