LICENSE
README.md
pyproject.toml
grounded_reasoning/__init__.py
grounded_reasoning.egg-info/PKG-INFO
grounded_reasoning.egg-info/SOURCES.txt
grounded_reasoning.egg-info/dependency_links.txt
grounded_reasoning.egg-info/entry_points.txt
grounded_reasoning.egg-info/requires.txt
grounded_reasoning.egg-info/top_level.txt
src/__init__.py
src/agent/__init__.py
src/agent/mcp_server.py
src/agent/tool.py
src/agent/verifier.py
src/experiments/__init__.py
src/experiments/agent_demo.py
src/experiments/clutrr_eval.py
src/experiments/conformal_llm_eval.py
src/experiments/guard_cost_eval.py
src/experiments/guard_llm_eval.py
src/experiments/inference_eval.py
src/experiments/nl_ontology_eval.py
src/experiments/self_grounded_eval.py
src/reasoning/__init__.py
src/reasoning/abstract_inference.py
src/reasoning/composition_algebra.py
src/reasoning/conformal_reasoning.py
src/reasoning/horn.py
src/reasoning/llm_client.py
src/reasoning/operator_algebra.py
src/reasoning/relation_spectrum.py
src/theory/__init__.py
src/theory/theorems.py
tests/test_abstract_inference.py
tests/test_agent.py
tests/test_clutrr_solver.py
tests/test_composition_conformal_regressions.py
tests/test_conformal_llm.py
tests/test_examples.py
tests/test_fuzz_regressions.py
tests/test_guard_llm.py
tests/test_horn_composition.py
tests/test_llm_client.py
tests/test_llm_client_regressions.py
tests/test_operator_algebra.py
tests/test_public_api.py
tests/test_relation_spectrum.py
tests/test_robustness.py
tests/test_self_grounded.py
tests/test_spectrum_regressions.py
tests/test_theorems.py
tests/test_world_builder_consistency.py