Papers, code, and methods from the FAOS Research Programme — applied work on neurosymbolic enterprise AI, agent verification, ontology design, and context engineering. Built in public. Shipped where it matters.
Peer-grade work, public preprints, and open code. Each paper ships with its implementation so results can be reproduced.
RA-3arXiv
Neurosymbolic Enterprise AI
Thanh Luong Tuan, Abhijit Sanyal
A grounded architecture for enterprise agents that fuse symbolic ontologies with neural reasoning — closing the precision gap between LLM-only systems and rule-based pipelines without sacrificing flexibility.
@article{luong2026neurosymbolic,
title = {Neurosymbolic Enterprise AI},
author = {Luong Tuan, Thanh and Sanyal, Abhijit},
year = {2026},
journal = {arXiv preprint},
eprint = {2604.00555},
archivePrefix = {arXiv},
note = {FAOS Research Programme, RA-3}
}
RA-6Preprint
Agent Simulation and Verification
Thanh Luong Tuan, Abhijit Sanyal
A pre-deployment verification framework for enterprise agents — an operational envelope the agent is certified to operate within, test scenarios derived automatically from the industry ontology, and a machine-verifiable trust certificate that binds the agent version to its evidence.
@article{luong2026verification,
title = {Agent Simulation and Verification},
author = {Luong Tuan, Thanh and Sanyal, Abhijit},
year = {2026},
journal = {Preprint pending arXiv submission},
note = {FAOS Research Programme, RA-6. Reproducibility scaffolding available at \url{https://github.com/frank-luongt/faos-research/tree/main/RA-6}; paper PDF posts at arXiv submission.}
}
RA-12Preprint
Entropy-Guided Ontology Design
Thanh Luong Tuan, Abhijit Sanyal
A design-time method for predicting whether an ontology will earn its grounding lift — structural entropy of the ontology, measured before any agent experiments, predicts downstream agent performance at Spearman r = 0.811 across fifteen industry-model cells. The interaction layer does most of the predictive work.
@article{luong2026entropy,
title = {Entropy-Guided Ontology Design},
author = {Luong Tuan, Thanh and Sanyal, Abhijit},
year = {2026},
journal = {Preprint pending arXiv submission},
note = {FAOS Research Programme, RA-12. Citation audit available at \url{https://github.com/frank-luongt/faos-research/tree/main/RA-12}; paper PDF posts at arXiv submission.}
}
In the pipeline
Active tracks. ETAs are working dates and may shift as verification continues.
RA-4Q2 2026
Context Engineering
Verification in progress
RA-15Q2 2026
Contextuality Auditor
Method paper · reframe in progress
RA-1Q3 2026
Multi-Agent Coordination
Empirical runs pending
RA-11Q3 2026
Quantum Context Engineering
Co-author lineage + bib verification
Next paper in flight
Posted when it's ready.
The FAOS Research Programme
FAOS is built as Customer Zero — one founder, fifty agents, twenty-two industries — and the research programme runs on the same stack we ship to customers. Every paper has a working implementation. Every method gets tested against real enterprise workloads before it shows up here.
The programme covers four tracks: neurosymbolic enterprise AI, agent simulation and verification, ontology and context engineering, and multi-agent coordination. Papers are written for the practitioner who needs to deploy this work — not just the reviewer who needs to evaluate it.
Why we work this way is in the manifesto. The short version: systems that learn from every engagement compound. Tools that don't, commoditize.
Want to apply this work?
Most of what we publish ships first inside FAOS. Book a workshop to see how it applies to your enterprise.
