SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, cutting runtime on instances from program-analysis benchmarks by orders of magnitude.

 SFDS introduces the first bilateral attribute-based access control and puncturable-encryption key update that eliminates the trusted KGC, cutting key-generation and decryption costs while blocking unauthorized uploads and downloads.

 Research team unveils ProSyno, a context-free prompt-learning model that taps Wiktionary descriptions and a dynamic matching encoder to spot synonyms across domains without KGs or corpora, setting new benchmarks on four datasets.

Researchers at the Department of Energy’s Oak Ridge National Laboratory are pioneering the design and synthesis of quantum materials, which are central to discovery science involving synergies with quantum computation. These innovative materials, including magnetic compounds with honeycomb-patterned lattices, have the potential to host states of matter with exotic behavior.

FedCare delivers the first visual pipeline that pinpoints, classifies and mitigates FL failures in real time, cutting convergence rounds and boosting accuracy across tested attacks without sacrificing privacy.

DVRE cuts MaxSAT encoding size offline and clauses online, delivering the fastest complete MBD on ISCAS-85 for both single- and multi-observation cases without extra data.

Research team debuts the first visual pre-training paradigm tailored for CTR prediction, lifting Taobao GMV by 0.88% (p < 0.01) via user-intent contrastive learning that mines interest-centric image signals.