Loading view.
Seminar
Calendar of Events
S Sun
M Mon
T Tue
W Wed
T Thu
F Fri
S Sat
0 events,
0 events,
0 events,
0 events,
0 events,
0 events,
1 event,
-
RI Seminar
Jacob Andreas
EECS and CSAIL, Massachusetts Institute of Technology
Good Old-Fashioned LLMs (or, Autoformalizing the World)
Abstract: Classical formal approaches to artificial intelligence, based on manipulation of symbolic structures, have a number of appealing properties---they generalize (and fail) in predictable ways, provide interpretable traces of behavior, and can be formally verified or manually audited for correctness. Why are they so rarely used in the modern era? One of the major challenges [...]
Jacob Andreas
Associate Professor
EECS and CSAIL, Massachusetts Institute of Technology