3 results found Sort:

LLM verified with Monte Carlo Tree Search
Created 2023-11-11
921 commits to main branch, last one 10 days ago
5
50
other
13
A compiler for automatically re-targeting sequential Java code to Apache Spark.
Created 2016-07-25
127 commits to master branch, last one about a year ago
[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
Created 2023-06-07
83 commits to master branch, last one 8 months ago