HOY recibimos a Santiago Ceria y Leonel Braginski, director y estudiante de la carrera de Ciencias de la Computación, de Exactas UBA. #MundoUBA con Ricardo Braginski #CNNRadioArgentina cnnradio.com.ar

👉Ayer se realizó el recambio uno de los climatizadores del edificio Cero+Infinito, que se encontraba dañado, por otro de uso provisorio hasta que se repare el original, en una operación que implicó movilizar con gruas equipamiento de cinco toneladas de peso.

Desde el Departamento de Computación les deseamos a todos y todas unas muy Felices Fiestas y un excelente 2024. 🥂 Exactas UBA UBAonline

Indeed, being on the TSE board is hard work, but such a necessary contribution to the SE research community. Thank you!

👉68 prestigiosos científicos y científicas ganadores del The Nobel Prize firmaron una carta en apoyo al sistema científico argentino y contra el feroz ajuste al que lo está sometiendo el gobierno nacional. nexciencia.exactas.uba.ar/carta-68-premi…

Equipo de Exactas UBA campeón latinoamericano en la final de la Competencia de Programación ICPC.👏 Integrado por Lautaro Lasorsa, Carlos Soto e Ivo Pajor (Coach Agustín Gutierrez), obtuvo el puesto 13 entre 130 equipos de todo el mundo. Más info: bit.ly/4b00C0v

En pleno ataque a universidades, un equipo de la UBA salió campeón latinoamericano en el Mundial de Programación. Por ✍️ Luciana Rosende (Luciana Rosende) tiempoar.com.ar/ta_article/en-… a través de Tiempo Argentino

Ayer Computación, Exactas - UBA realizó una emotiva reunión de despedida del prof. Santiago Ceria, a quien le reconocemos sus invaluables aportes a la Carrera, el Plan de Estudios y el DC. En particular su trabajo fue fundamental para actualizar el Plan, versión 2023.👏

Alegría! Nos premiaron el proyecto “Abstractions for Validating Distributed Protocol Reference Implementations”. Felicitaciones también a Luciana Ferrer por el suyo. Dos proyectos de la #UniversidadPublica Exactas UBA Computación, Exactas - UBA ICC CONICET Dialoga UBAonline

Proud to announce Iván Arcuschin successfully defended his PhD dissertation 'Random Espresso Test Case Generation for Android.' Grateful to Alessandra Gorla, Renzo Degiovanni, Marcelo d'Amorim at Exactas UBA for evaluation. Thanks to CONICET Dialoga for funding Ivan's scholarship.

Researchers Iván Arcuschin and Juan Pablo Galeotti on Brewing Up Reliability: Espresso Test Generation for Android Apps. Accepted for the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), Toronto, Canada. More: bit.ly/3Wv8aEw

¡Arrancaron las #JAR2024! Compartimos fotos de la Apertura con Guillermo Durán (Decano de Exactas UBA), Pablo de Cristóforis (Presidente JAR2024), Diego Garbervetsky (Director ICC) y Juan Pablo Galeotti (Director DC) . Ver programa completo: bit.ly/3VcwDfk

Circuit discovery techniques aim to find subgraphs of NNs for specific tasks. Are they correct? Which one is the best? 🕵️ Introducing InterpBench: 17 semi-synthetic, realistic transformers with known circuits to evaluate mechanistic interpretability. Read on... 🧵

¡Felicitaciones al equipo Inchavola, que salió tricampeón de Latinoamerica en la competencia ICPC (el 'mundial' de programación)! Además, recibieron la medalla de bronce que lograron en la anterior final mundial, la tercera para Latinoamerica (todas de equipos de Exactas UBA).

Our paper introducing InterpBench was accepted to NeurIPS Conference ! 🚀 Check it out if you want to know how we built a benchmark of semi-synthetic, realistic transformers with known circuits! 🔥 Congrats and thanks to my awesome co-authors Rohan Gupta Thomas Akira Kwa Adrià Garriga-Alonso

Sin mi formación en la #UBA no podría hacer mi trabajo de desarrollador de software, aportando a industria del software en argentina. Sin #UniversidadPública no hay #IndustriaDelSoftware.

Soy VP de AI en Veritran y realicé toda mi educación en la #UniversidadPública. Sin la formación que recibí en Exactas UBA, no estaría donde estoy. Apoyo a las universidades públicas porque sin #UniversidadPública no hay #IndustriaDelSoftware en Argentina. #DefendamosLaEducación

Ayúdennos a difundir la importancia de la #UniversidadPública para la #IndustriaDelSoftware Acá le proponemos una manera: drive.google.com/file/d/17JF1WX… #DefendamosLaEducación

🧵Chain-of-Thought reasoning in LLMs like Claude 3.7 and R1 is behind many recent breakthroughs. But does the CoT always explain how models answer? No! For the first time, we show that models can be unfaithful on normal prompts, rather than contrived prompts designed to trick

🚀 Excited to announce the launch of the AISAR Scholarship, a new initiative to promote AI Safety research in Argentina! 🇦🇷 Together with Agustín Martinez Suñé, we've created this program to support both Argentine established researchers and emerging talent, encouraging