Research

Research areas

The topic areas the radar follows — each links to the sourced items behind it.

• 179 items ↓ cooling

  AI in Life Sciences & Medicine

  63 items in the last 30 days

  • Hoang-Loc Cao
  • Van Pham
  • Truong Thanh Hung Nguyen
  • Phuc Truong Loc Nguyen
  • Phuc Ho
• 122 items ↓ cooling

  Formal Methods & Verified Science

  25 items in the last 30 days

  • Qi Li
  • Xingyi Yang
  • Xinchao Wang
  • arxiv.org
  • Shaoxiong Zhan
• 50 items ↓ cooling

  Neurosymbolic & Hybrid AI

  12 items in the last 30 days

  • Ihab
  • valencelabs.substack.com
  • Formal Methods & Verified Science
  • AI in Life Sciences & Medicine
  • Yunhui Jang
• 21 items ↓ cooling

  AI Scientists & AI Engineers

  5 items in the last 30 days

  • Sakana AI
  • Liana Hadarean
  • aws.amazon.com
  • Neurosymbolic & Hybrid AI
  • nature.com

Generated from sourced archive items and reviewed before publishing.