News
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an ...
South Africa Today on MSN
A Reasoning‑Based Vision: Vishvesh’s Approach towards Transparent and Accountable AI
CoreThink AI, a startup co-founded by Vishvesh, has raised $1.3 million to develop what it calls “explainable AI” reasoning ...
Marcos Mazari-Armida, a postdoctoral researcher at CU Boulder, wins 2021 Sacks Prize from the Association of Symbolic Logic A University of Colorado Boulder mathematician has won the Sacks Prize, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback