Yu Feng
AnnieFeng
·
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
5 days ago
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical
Consistency Checks
commented on
a paper
5 days ago
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical
Consistency Checks
authored
a paper
9 days ago
BIRD: A Trustworthy Bayesian Inference Framework for Large Language
Models
Organizations
