Andrés Corrada-Emmanuel’s Post

View profile for Andrés Corrada-Emmanuel, graphic

Industrial scientist and developer focusing on robust AI systems and evaluation frameworks.

Loved the talk. I know category theory but never saw a software implementation side-by-side comparison as he does here using Python and Topos Institute's AlgebraicJulia. Highly recommend it to those that want to think about software engineering in a different way. His use of the triangle graph definitely reminds me of my current implementation of algebraic evaluation in the ntqr Python package. I know the implementation is brittle (coded for exactly three noisy classifiers) and getting the pieces to work has had its issues. I'm definitely going to think about how to do a general n-ensemble implementation using AlgebraicJulia.

View organization page for FAR AI, graphic

1,721 followers

⚙️ "Category Theory for Legible Software and Corrigible World Modeling" by Kristopher Brown presented at FAR Labs Seminar. Brown discusses the role of category theory in creating interpretable and adaptable AI systems, aiming for enhanced safety and stakeholder alignment. 🌟 🔍 Model Legibility: Emphasizes the need for AI models that are both interpretable and economically viable. 🔧 Mathematical Principles: Advocates for software engineering based on principled mathematical models for abstraction reuse. 🔄 Stakeholder Collaboration: Highlights the importance of diverse stakeholder collaboration to align AI systems with broad human values. 🧩 Examples of Abstractions: Showcases how databases, Petri nets, and wiring diagrams exemplify effective abstraction in software engineering. 📺 Watch the full recording:  https://lnkd.in/ghT4irux  -- and subscribe to our YouTube channel for future research presentations!

To view or add a comment, sign in

Explore topics