Francisco Maria Calisto
6.3K posts

Francisco Maria Calisto
@FMCalisto
ex-Visiting Scholar @cmuhcii | @CarnegieMellon. Human-Computer Interaction and Health Informatics enthusiast working as Researcher & Software Engineer.





A year in breast cancer care never pauses for the holidays. Over the course of twelve months, scans continued, decisions carried weight, and time remained the most fragile variable. That reality shaped our work. Merry Christmas! #MerryChristmas #BreastCancer





Would you like to attend CHI 2026, be part of the conference team, and have your registration fee waived by volunteering ~20 hours? Friendly, enthusiastic, and collaborative applicants are encouraged. Learn more and apply here: 🔗 chi2026.acm.org/2025/10/16/cal… #CHI2026 #CHI26




🚨 This MIT paper just broke everything we thought we knew about AI reasoning. These researchers built something called Tensor Logic that turns logical reasoning into pure mathematics. Not symbolic manipulation. Not heuristic search. Just tensor algebra. Here's how it works: Logical propositions become vectors. Inference rules become tensor operations. Truth values propagate through continuous transformations. Translation? Deduction and neural computation finally speak the same language. This isn't symbolic AI bolted onto deep learning. It's not deep learning pretending to do logic. It's a unified framework where both happen simultaneously. Every major AI model today hits a wall with consistency because logic is discrete and gradients are continuous. You can't backpropagate through "true or false." Tensor Logic erases that boundary completely. The system embeds Boolean reasoning, probabilistic inference, and predicate logic inside a single differentiable framework. That means you can train it end-to-end like a neural network while maintaining logical guarantees. In experiments, the system performs logical inference as matrix operations. Neural nets can now reason with symbolic precision. Symbolic systems can learn from data like neural nets. The numbers are wild. The system handles complex logical queries with the same computational efficiency as matrix multiplication. No expensive search. No combinatorial explosion. But here's the part that should terrify the incumbents: this scales. Traditional symbolic AI chokes on ambiguity. Neural networks hallucinate logical structures. Tensor Logic gets both right simultaneously. If this approach spreads, we might finally get models that don't just predict truths they can prove them. Systems that reason with mathematical certainty while learning from messy real-world data. The implications go way beyond academic AI. Every system that needs both learning and guarantees autonomous vehicles, medical diagnosis, financial systems, legal reasoning just got a new foundation. Current AI is either good at learning or good at logic. Never both. That dichotomy just ended. The fusion of logic and learning isn't coming. It's already here.



🚀 CHI 2026 received 6,731 completed paper submissions — a record number! Peer review is now underway — thank you to everyone making it possible! 📖 Learn more about this year’s review process: chi2026.acm.org/2025/08/08/rev… #CHI2026 #HCI

🚀 CHI 2026 received 6,731 completed paper submissions — a record number! Peer review is now underway — thank you to everyone making it possible! 📖 Learn more about this year’s review process: chi2026.acm.org/2025/08/08/rev… #CHI2026 #HCI









