Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
JanPastorek
/
AutoGraphForge
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
1
Code
Issues
1
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
main
User selector
All users
Datepicker
All time
Commit history
Commits on Sep 13, 2026
agy llms teamwork instead of dedicated provers
JanPastorek
committed
510cf50
View commit details
Copy full SHA for 510cf50
Browse repository at this point
Commits on Aug 26, 2026
some more info
JanPastorek
committed
2bbf36e
View commit details
Copy full SHA for 2bbf36e
Browse repository at this point
Commits on Aug 20, 2026
camera ready
JanPastorek
committed
b036a06
View commit details
Copy full SHA for b036a06
Browse repository at this point
results and camera ready
JanPastorek
committed
b12f5ef
View commit details
Copy full SHA for b12f5ef
Browse repository at this point
Commits on Aug 17, 2026
cicm paper
JanPastorek
committed
de4f5ab
View commit details
Copy full SHA for de4f5ab
Browse repository at this point
Commits on Jun 30, 2026
novelty filter updated
JanPastorek
committed
0145e92
View commit details
Copy full SHA for 0145e92
Browse repository at this point
cleaned
JanPastorek
committed
e2d3616
View commit details
Copy full SHA for e2d3616
Browse repository at this point
cleaning
JanPastorek
committed
9117d43
View commit details
Copy full SHA for 9117d43
Browse repository at this point
cleaning
JanPastorek
committed
ca8c602
View commit details
Copy full SHA for ca8c602
Browse repository at this point
cleaning
JanPastorek
committed
aa2e288
View commit details
Copy full SHA for aa2e288
Browse repository at this point
before submission
JanPastorek
committed
818c339
View commit details
Copy full SHA for 818c339
Browse repository at this point
prep for public 2
JanPastorek
committed
c920ed1
View commit details
Copy full SHA for c920ed1
Browse repository at this point
preparation for public
JanPastorek
committed
4ee58b2
View commit details
Copy full SHA for 4ee58b2
Browse repository at this point
Commits on Jun 29, 2026
paper
JanPastorek
committed
d5f5b3f
View commit details
Copy full SHA for d5f5b3f
Browse repository at this point
Commits on Jun 25, 2026
new
JanPastorek
committed
ac057a3
View commit details
Copy full SHA for ac057a3
Browse repository at this point
novelty: catch conditioned classical results (perfect-graph + class defs)
Show description for 578bba2
JanPastorek
and
claude
committed
578bba2
View commit details
Copy full SHA for 578bba2
Browse repository at this point
Commits on Jun 24, 2026
prover: fix soundness false-positive in proof certification
Show description for 815f6ca
JanPastorek
and
claude
committed
815f6ca
View commit details
Copy full SHA for 815f6ca
Browse repository at this point
Commits on Jun 23, 2026
docs: comprehensive top-level README for the whole package
Show description for 73e43d7
JanPastorek
and
claude
committed
73e43d7
View commit details
Copy full SHA for 73e43d7
Browse repository at this point
lean: graph-class predicates + conditioned conjecture export
Show description for 3dbfd28
JanPastorek
and
claude
committed
3dbfd28
View commit details
Copy full SHA for 3dbfd28
Browse repository at this point
test: fix extended-invariant export test (use supported RHS)
Show description for f07395e
JanPastorek
and
claude
committed
f07395e
View commit details
Copy full SHA for f07395e
Browse repository at this point
lean preamble: add zero-forcing family, Slater & annihilation numbers
Show description for 46e6d58
JanPastorek
and
claude
committed
46e6d58
View commit details
Copy full SHA for 46e6d58
Browse repository at this point
lean_export: don't crash on non-inequality survivors (SophieCondition)
Show description for 0b9a0ee
JanPastorek
and
claude
committed
0b9a0ee
View commit details
Copy full SHA for 0b9a0ee
Browse repository at this point
cegis: keep conditioned constant bounds (class theorems), drop only unconditioned
Show description for 99798ac
JanPastorek
and
claude
committed
99798ac
View commit details
Copy full SHA for 99798ac
Browse repository at this point
cegis: drop degenerate invariant-vs-constant bounds at generation
Show description for 5f6c3cf
JanPastorek
and
claude
committed
5f6c3cf
View commit details
Copy full SHA for 5f6c3cf
Browse repository at this point
refute: ingest HoG precomputed invariants as a partial, big-graph tier
Show description for 0c66ee2
JanPastorek
and
claude
committed
0c66ee2
View commit details
Copy full SHA for 0c66ee2
Browse repository at this point
CEGIS hardening: symbolic refuter, packaging, prover grounding, legacy quarantine
Show description for 102fc8a
JanPastorek
and
claude
committed
102fc8a
View commit details
Copy full SHA for 102fc8a
Browse repository at this point
Commits on Jun 22, 2026
full pipeline
JanPastorek
committed
674f04f
View commit details
Copy full SHA for 674f04f
Browse repository at this point
Commits on Jun 21, 2026
autoprover
JanPastorek
committed
2dc3991
View commit details
Copy full SHA for 2dc3991
Browse repository at this point
Use real txgraffiti pkg; add Graffiti3, Claude prover, tuning, complexity
Show description for d9e43bc
JanPastorek
and
claude
committed
d9e43bc
View commit details
Copy full SHA for d9e43bc
Browse repository at this point
Commits on Jun 19, 2026
parallelisation
JanPastorek
committed
c8b4ee7
View commit details
Copy full SHA for c8b4ee7
Browse repository at this point
current version of paper
JanPastorek
committed
96113f2
View commit details
Copy full SHA for 96113f2
Browse repository at this point
small adjustments
JanPastorek
committed
0757b70
View commit details
Copy full SHA for 0757b70
Browse repository at this point
small adjustments
JanPastorek
committed
b0bf663
View commit details
Copy full SHA for b0bf663
Browse repository at this point
Restructure ITAT paper after Graffiti-3; add pipeline diagram and origin citations
Show description for e086f22
JanPastorek
and
claude
committed
e086f22
View commit details
Copy full SHA for e086f22
Browse repository at this point
Commits on Jun 17, 2026
update
JanPastorek
committed
eac0e15
View commit details
Copy full SHA for eac0e15
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
