4 projects
hufu
HuFu (虎符): neuro-symbolic data-quality verification — hypergraph-simulation consistency checking for vector retrieval, documents, and LLM data
dayan
DaYan (大衍): thought-graph modeling, process-level evaluation, pattern mining and verified data augmentation for LLM reasoning
jiujiubiao
JiuJiuBiao (九九表): unified question answering over tables and databases — disambiguation, agentic solving with self-consistency, and self-criticism refinement
nesydep
NeSyDep: fast neural-symbolic discovery of data dependencies (FDs, CFDs, and more)
