Research — Binay Dalai
Machine learning, optimization, and formal methods — including an IEEE-published study of QAOA transformer optimization and an in-progress honors thesis on LLM-assisted formal verification of security protocols.
Machine learning, optimization, and formal methods — including an IEEE-published study of QAOA transformer optimization and an in-progress honors thesis on LLM-assisted formal verification of security protocols.