Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
Phys.org

Potentially distinct structure in Kuiper belt discovered with help of clustering algorithm

A vast region of our solar system, called the Kuiper belt, stretches from the orbit of Neptune out to 50 or so astronomical units (AU), where an AU is the distance between Earth and the sun. This ...
Seeking Alpha

Recursion: Lack Of Near-Term Catalysts Leaves The Stock Vulnerable

Recursion's AI-enabled drug discovery platform continues to evolve, but this is yet to translate into meaningful clinical success. The recent cull of programs has further undermined investor ...
Nasdaq

MIT and Recursion Unveil Boltz-2: A Revolutionary Open-Source Biomolecular Co-Folding Model with Advanced Structure and Binding Affinity Prediction

Boltz-2 is an open-source biomolecular model achieving near-FEP accuracy with 1000x faster predictions for structure and binding affinity. MIT and Recursion have released Boltz-2, the first ...
Nasdaq

MIT and Recursion Release Boltz-2: Next Generation AI Model to Predict Binding Affinity at Unprecedented Speed, Scale, and Accuracy

Boltz-2 is the first biomolecular co-folding model to combine structure and binding affinity prediction, approaching the accuracy of physics-based free energy perturbation (FEP) calculations but at ...
Seeking Alpha

HealthVerity Partners with Recursion to Enhance Clinical Trial Analytics with Real-World Data

PHILADELPHIA, April 16, 2025 /PRNewswire/ -- HealthVerity, the leader in real-world data (RWD) technology and privacy-compliant data exchange, today announced that Recursion (NASDAQ: RXRX), a leading ...
Forbes

Beyond The Algorithm: Why Data Governance Is Key To Pharma's AI Future

The pharmaceutical industry is on the cusp of an AI-driven revolution. By 2030, AI-powered drug discovery is projected to be a $9.1 billion market, growing at a staggering 29.7% CAGR. AI promises to ...
BioSpace

Recursion Provides Business Updates and Reports Fourth Quarter and Fiscal Year 2024 Financial Results

SALT LAKE CITY, Feb. 28, 2025 (GLOBE NEWSWIRE) -- Recursion (Nasdaq: RXRX) a leading clinical stage TechBio company decoding biology to radically improve lives, today reported business updates and ...
IEEE

A Data-Driven Control Algorithm With Time Delay Compensation Based on Optimized Recursive Adaptive Identification for Magnetic Levitation Systems

Abstract: This study addresses the challenge of precise control of the maglev system under the condition of rapid time-varying dynamics and large time delay. Maglev technology has been applied in many ...