Article Highlights
Updates every hour. Last Updated: 13-Jun-2026 23:15 ET (14-Jun-2026 03:15 GMT/UTC)
New framework PyABV significantly enhances assertion verification capabilities of PyRTL
Higher Education PressPyABV injects high-performance assertion engines into PyRTL, doubling verification coverage on complex HADM designs while sustaining RTL simulation speed for both academia and industry.
- Journal
- Frontiers of Computer Science
Tool learning with large language models: A survey
Higher Education PressRecent survey delivers the first systematic map of LLM tool-learning, dissecting why tools supercharge models and how four-stage workflows (plan→select→call→respond) perform, while cataloging benchmarks and open challenges to jump-start newcomers.
- Journal
- Frontiers of Computer Science
SharpSMT: A scalable toolkit for measuring solution spaces of SMT(LA) formulas
Higher Education PressSharpSMT 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.
- Journal
- Frontiers of Computer Science
Towards secure and fine-grained data sharing over cloud platform
Higher Education PressSFDS 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.
- Journal
- Frontiers of Computer Science
ProSyno: Context-free prompt learning for synonym discovery
Higher Education PressResearch 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.
- Journal
- Frontiers of Computer Science
Decoding the fermentation of ‘Nam Hom’ coconut cider: How yeast choice shapes aroma, flavor, and bioactive compounds
Maximum Academic Press- Journal
- Beverage Plant Research
How roast level and sensory quality shape the price of specialty coffee beans
Maximum Academic Press- Journal
- Beverage Plant Research