Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Adapting Feature Attenuation to NLP
Tianshuo Yang, Ryan Rabinowitz, Terrance E. Boult +1
Transformer classifiers such as BERT deliver impressive closed-set accuracy, yet they remain brittle when confronted with inputs from unseen categories--a common scenario for deplo…
cs.LG2025
LemmaHead: RAG Assisted Proof Generation Using Large Language Models
Tianbo Yang, Mingqi Yan, Hongyi Zhao +1
Developing the logic necessary to solve mathematical problems or write mathematical proofs is one of the more difficult objectives for large language models (LLMS). Currently, the…