Community & Culture
Lab Life & Seminars
Collaboration, hackathons, seminars, and everyday research prototyping sessions across Aura Lab.
Aura Lab researchers presenting the Aura-Bench evaluation suite at the AI Systems & Verification Symposium.
July 2026
Weekly technical seminar on Agentic Systems & LLM Verification.
July 2026
Summer Agentic Coding Hackathon: collaborative sprint on sandbox execution drivers and trace parsers.
June 2026
Aura Computing & Intelligence Lab — team collaboration and project development group session.
June 2026
Hands-on software prototyping sprint on repository comprehension testbeds.
May 2026
Aura Lab experimental compute infrastructure: multi-GPU nodes deployed for high-throughput batch evaluation.
May 2026
Weekly technical seminar on neurosymbolic program synthesis and formal verification in agent workflows.
April 2026
Weekly Seminar & Paper Club
Fridays · 14:00 – 15:30 EST · Virtual / Hybrid Session
Formal Invariant Synthesis in LLM-Generated Codebases
Reviewing recent advances in neurosymbolic program synthesis, bounded model checking, and multi-agent repair loops.
Citation-Grounded RAG and Self-Consistency Verification
Empirical evaluation of dense vs. hybrid vector indexing for multi-hop scientific literature question answering.
Mental Models and Cognitive Load in Agentic IDE Extensions
User study methodologies and telemetry metric designs for autonomous pair-programming tools.