Neuro-Symbolic Query Compiler
Precise recognition of search intent in Retrieval-Augmented Generation (RAG)
systems remains a challenging goal, especially under resource constraints and
for complex queries with nested structures and dependencies. This paper
presents QCompiler, a neuro-symbolic framework inspired by linguistic grammar
rules and compiler design, to bridge this gap. It theoretically designs a
minimal yet sufficient Backus-Naur Form (BNF) grammar G[q] to formalize
complex queries. Unlike previous methods, this grammar maintains completeness
while minimizing redundancy. Based on this, QCompiler includes a Query
Expression Translator, a Lexical Syntax Parser, and a Recursive Descent
Processor to compile queries into Abstract Syntax Trees (ASTs) for execution.
The atomicity of the sub-queries in the leaf nodes ensures more precise
document retrieval and response generation, significantly improving the RAG
system's ability to address complex queries.
682bf7363e041a44f23afcea
Yuyao Zhang
admin_assigned
2025-05-20T08:38:04.060Z
64bdfa1a1a62149c5e80ef6f
https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/Wjc9gPFzlARBkdoTAOZm8.png
Yuyao Zhang
user
KeriaZhang
682bf7363e041a44f23afceb
Zhicheng Dou
admin_assigned
2025-05-20T08:37:46.972Z
66f0bf59e9d50ec57febf751
/avatars/be97941e60064e5dd806c6fe9db3c537.svg
Zhicheng Dou
user
douzc
682bf7363e041a44f23afcec
Xiaoxi Li
admin_assigned
2025-05-20T08:37:41.072Z
66e03eace17fb5ff054b7686
/avatars/2b739ff11e43dd9e701c647a92617f20.svg
Xiaoxi Li
user
lixiaoxi45
682bf7363e041a44f23afced
Jiajie Jin
682bf7363e041a44f23afcee
Yongkang Wu
admin_assigned
2025-05-20T08:38:33.785Z
62f3a590261bc5fb2e072a5f
/avatars/d65d362ddc32aca3d6c564252d81e109.svg
YongkangWu
user
wuyongkang
682bf7363e041a44f23afcef
Zhonghua Li
682bf7363e041a44f23afcf0
Qi Ye
682bf7363e041a44f23afcf1
Ji-Rong Wen
admin_assigned
2025-05-20T08:38:51.063Z
64b8c89052b7353d8c6a1013
/avatars/cd59fffe81f6b07b4519540b8ff3d95f.svg
Ji-Rong Wen
user
jrwen
Neuro-Symbolic Query Compiler
Precise recognition of search intent in Retrieval-Augmented Generation (RAG)
systems remains a challenging goal, especially under resource constraints and
for complex queries with nested structures and dependencies. This paper
presents QCompiler, a neuro-symbolic framework inspired by linguistic grammar
rules and compiler design, to bridge this gap. It theoretically designs a
minimal yet sufficient Backus-Naur Form (BNF) grammar G[q] to formalize
complex queries. Unlike previous methods, this grammar maintains completeness
while minimizing redundancy. Based on this, QCompiler includes a Query
Expression Translator, a Lexical Syntax Parser, and a Recursive Descent
Processor to compile queries into Abstract Syntax Trees (ASTs) for execution.
The atomicity of the sub-queries in the leaf nodes ensures more precise
document retrieval and response generation, significantly improving the RAG
system's ability to address complex queries.
QCompiler, a neuro-symbolic framework, improves RAG systems by compiling complex queries into ASTs using a formal grammar, enhancing precision in document retrieval and response generation.
neuro-symbolic framework Backus-Naur Form (BNF) Query Expression Translator Lexical Syntax Parser Recursive Descent Processor Abstract Syntax Trees (ASTs)