pro
Adam Rybinski
AI Engineer building agentic & neuro-symbolic systems
New to Contra
Adam is ready for their next project!
I work at the intersection of ML and symbolic reasoning: extracting structured knowledge from LLMs and verifying it against a symbolic knowledge base rather than trusting raw model output.
My LiveKnowledge project closes this loop end-to-end: an LLM proposes candidate facts from...
A neurosymbolic AI server combining Prolog’s symbolic reasoning with Model Context Protocol (MCP) for hybrid AI applications
conversations with full auditability, explainability, and formal proof traces — not probabilistic guesses
A knowledge engineering CLI tool that combines LLM reasoning with Answer Set Programming (Clingo) to build, verify, and query structured knowledge from unstructured text
Browser induction app (WebILP) — LLM grounding, human review, then Clingo + Trealla. Read the series: Part 1 — Architecture · Part 2 — WebILP in the browser.
