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 }}
Uh oh!
There was an error while loading.
Please reload this page
.
ChEB-AI
/
chebILP
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
1
Code
Issues
1
Pull requests
1
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Improved rule generation
- #9
#9
Draft
sfluegel05
wants to merge 20 commits into
dev
ChEB-AI/chebILP:dev
from
improved-rule-generation
ChEB-AI/chebILP:improved-rule-generation
Copy head branch name to clipboard
Conversation
Commits
20
(20)
Checks
Files changed
Draft
Improved rule generation
#9
sfluegel05
wants to merge 20 commits into
dev
ChEB-AI/chebILP:dev
from
improved-rule-generation
ChEB-AI/chebILP:improved-rule-generation
Copy head branch name to clipboard
Commits
Commits on Jul 23, 2026
improve logging, route haiku via anthropic's native structured output (litellm tries to force it to use a json tool which it often fails to invoke cleanly)
sfluegel05
committed
02e8690
View commit details
Copy full SHA for 02e8690
Browse repository at this point
fix clingo error for non-utf8 characters
sfluegel05
committed
1b2b861
View commit details
Copy full SHA for 1b2b861
Browse repository at this point
Commits on Aug 5, 2026
improved handling of predicates that lead to OOM during grounding
sfluegel05
committed
340809d
View commit details
Copy full SHA for 340809d
Browse repository at this point
Commits on Aug 7, 2026
fix build_ilp_preds_for_ensemble (capture dependencies between rules), better error messages
sfluegel05
committed
86f1ed0
View commit details
Copy full SHA for 86f1ed0
Browse repository at this point
Commits on Aug 21, 2026
fix opus 5, acceptance criteria for reused predicates
sfluegel05
committed
95423aa
View commit details
Copy full SHA for 95423aa
Browse repository at this point
add chemlog binding
sfluegel05
committed
10be547
View commit details
Copy full SHA for 10be547
Browse repository at this point
fix split filtering
sfluegel05
committed
a8ab214
View commit details
Copy full SHA for a8ab214
Browse repository at this point
speed up sample generation, cosmetic changes to cli output
sfluegel05
committed
1ba9d51
View commit details
Copy full SHA for 1ba9d51
Browse repository at this point
Commits on Aug 24, 2026
optimize bk knowledge (no large rings) and minimize prompts
sfluegel05
committed
e51899e
View commit details
Copy full SHA for e51899e
Browse repository at this point
Commits on Aug 25, 2026
use LLM to guide popper search
sfluegel05
committed
73791e1
View commit details
Copy full SHA for 73791e1
Browse repository at this point
Commits on Aug 26, 2026
Merge pull request #10 from ChEB-AI/feature/hypothesis-priming
Show description for 7990f9e
sfluegel05
authored
7990f9e
View commit details
Copy full SHA for 7990f9e
Browse repository at this point
move llm client from litellm to claude agent sdk (different billing mechanism)
sfluegel05
committed
453fe80
View commit details
Copy full SHA for 453fe80
Browse repository at this point
slightly extend prompt again
sfluegel05
committed
3fe63ea
View commit details
Copy full SHA for 3fe63ea
Browse repository at this point
change sample selection: only direct neighbors
sfluegel05
committed
6decbb8
View commit details
Copy full SHA for 6decbb8
Browse repository at this point
Commits on Aug 27, 2026
fix nuwls settings and remove validate_max constraint
sfluegel05
committed
51406d2
View commit details
Copy full SHA for 51406d2
Browse repository at this point
change seed_hypothesis / heuristics wiring: ask LLM explicitly for a hypothesis instead of assembling one from the predicates
sfluegel05
committed
8e9c1c0
View commit details
Copy full SHA for 8e9c1c0
Browse repository at this point
Commits on Aug 28, 2026
fix API key / LLM subscription, hotfix hypotheses which reference rejected predicates
sfluegel05
committed
38569db
View commit details
Copy full SHA for 38569db
Browse repository at this point
add aleph as secondary ILP tool (including format translation from Popper)
sfluegel05
committed
5d8a4e3
View commit details
Copy full SHA for 5d8a4e3
Browse repository at this point
Commits on Aug 31, 2026
adjust aleph timeout to be comparable with Popper
sfluegel05
committed
cd26077
View commit details
Copy full SHA for cd26077
Browse repository at this point
rule generation: now with feedback round, no more predicate rejections based on performance
sfluegel05
committed
e7f7b57
View commit details
Copy full SHA for e7f7b57
Browse repository at this point
You can’t perform that action at this time.