2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development April 3 @ 2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development
4:00 pm - 5:00 pm Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models April 23 @ 4:00 pm - 5:00 pm Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models
April 3 @ 2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development
April 23 @ 4:00 pm - 5:00 pm Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models