Search
ChatPaper
AI Writing
analysis
Analysis
编组
Open Data
more
More
RankingsMust ReadingJournal&ConferenceAI TRAI HistoryMaster Reading TreeXiaomai's Star TalentsTrajectoryTalentNDI TrackerOpenAI sign Language
VIPCreated with Sketch.

A new generation of automatic theorem provers eliminate bugs in software and mathematics. Mechanical Mathematicians

Alexander Bentkamp,Jasmin Blanchette,Visa Nummelin,Sophie Tourret,Petar Vukmirovic,Uwe Waldmann

Communications of the ACM（2023）

Cited 0|Views21
No score
Abstract
A new generation of automatic theorem provers eliminate bugs in software and mathematics.
More
Translated text
Key words
mechanical
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined