Sakina Fatima
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
2024/05/03 by Saikat Chakraborty, Gabriel Ebner, Chakraborty, Saikat +11 · 3 voices · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.AI #cs.PL #cs.SE
- Addressable Recall Compaction for Long Context-Window Control in AI Agents
2026/07/27 by Thang Dang, Yuma Ichikawa, Sakina Fatima +1
#cs.AI #cs.CL