Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
AuxFlow
Home
Reference
Architecture
Compiler pipeline
Language subset
Auxiliary Reference Graph
Static analysis
Non-convergence
Build planner
Runtime verification
Project
Specification
Research questions
Related work
Evaluation
Benchmarks
Methodology
Report
Gate report
Reviews
Review 1
Review 2
Review 3
Changelog
PyPI ↗
GitHub ↗
Evaluation
Experimental protocol, benchmark corpus, full results, and gate verification.
Table of contents
Benchmarks
Methodology
Report
Gate report