A palestra intitulada “The Geometry of Logic” será apresentada pela Prof. Cristina (Crista) Videira Lopes, da University of California, na próxima quarta feira, dia 25 de fevereiro, às 14:00, na sala I-105. A sessão será moderada pelo Prof. Rui Maranhão (DEI).
Sobre a palestra:
“Large Language Models (LLMs) exhibit surprising reasoning capabilities, yet the internal mechanisms driving these behaviors remain opaque. We hypothesize that this emergence may be driven by soft stratification: the spontaneous (and inefficient) discovery of orthogonal subspaces that separate control flow from data flow. To explore this, we introduce the STRAT architecture (STratified Registers And Types), which imposes hard stratification by explicitly partitioning the embedding space.
We evaluate STRAT on algorithmic tasks requiring precise logical manipulation. Despite having no pre-programmed knowledge of those tasks, the model spontaneously discovers interpretable geometric topologies (e.g., antipodal operator separation) to solve the tasks. These geometric constraints also yield extreme data efficiency: models converge to the correct logical rules of arithmetic from as few as N=10 training examples. These results suggest that the stratification of the embedding space is a promising geometric substrate for neural logic.”
Sobre a Oradora:
Cristina (Crista) Videira Lopes is a Professor of Informatics in the School of Information and Computer Sciences at the University of California, Irvine. Her research focuses on programming and software engineering for large-scale data and systems. Early in her career, she was a founding member of the team at Xerox PARC that developed Aspect-Oriented Programming. Along with her research program, she is also a prolific software developer. Her open source contributions include being one of the core developers of OpenSimulator, a virtual world server. She is also a founder and consultant of Encitra, a company specializing in online virtual reality for early-stage sustainable urban redevelopment projects. Her book “Exercises in Programming Style” has gained rave reviews, including being chosen as “Notable Book” by the ACM Best of Computing reviews. She has a PhD from Northeastern University, and MS and BS degrees from Instituto Superior Tecnico in Portugal. She is the recipient of several National Science Foundation grants, including a prestigious CAREER Award. She claims to be the only person in the world who is both an ACM Distinguished Scientist and Ohloh Kudos Rank 9.