About
Research & Development
AI-Assisted Rule Generation for Verilog Hardware Security
TLDR: VerilogLA VD is a novel approach for detecting hardware vulnerabilities in Verilog code during early design stages. It introduces VeriPG, a unified graph...
Research & Development
AI Learns Temporal Reasoning by Ignoring Irrelevant Details
TLDR: A new AI method called Contrastive Representations for Temporal Reasoning (CRTR) learns to solve complex combinatorial puzzles like Rubik's Cube and Sokoban more...
Research & Development
Uncovering AI’s Fingerprint: A New Method for Detecting Machine-Generated Text
TLDR: RepreGuard is a novel method for detecting text generated by large language models (LLMs) by analyzing their internal "hidden representation patterns." It hypothesizes...
Research & Development
QuarkMed: Advancing Medical AI with Specialized Data and Reinforcement Learning
TLDR: QuarkMed is a 32-billion parameter medical foundation model developed by Alibaba Group, designed to provide highly specialized, accurate, and customizable AI solutions for...
Research & Development
MOVER: A New Framework for Structured Multimodal AI Understanding
TLDR: MOVER is a novel AI framework that enhances multimodal learning by combining optimal transport for flexible data matching with volume-based geometric regularization. This...
Research & Development
Mantis: Advancing Disease Prediction Through Simulated Data
TLDR: Mantis is a new AI model for disease forecasting that learns entirely from simulated outbreaks, not real-world data. It can accurately predict disease...