SCDBench Shifts Smart Contract Decompilation Toward Semantic Evaluation
SCDBench argues smart contract decompilation should be judged by semantic equivalence, not just source-like Solidity.
Gemini, DeepMind, and Google's AI ecosystem.
791 articles · Page 12 / 33
Gemini, DeepMind, and Google's AI ecosystem.
Hub content is updated incrementally.
SCDBench argues smart contract decompilation should be judged by semantic equivalence, not just source-like Solidity.
This study argues tokenized time series LLMs lose continuity and order, and proposes COM constraints to preserve temporal structure.
A look at a paper arguing that aggregating full reasoning traces can outperform answer-only consensus in multi-agent systems.
A look at rubric- and concept-based grading that makes open-ended scoring more reviewable, editable, and accountable.
Why multimodal AI still struggles with charts and scientific figures, and how to verify image-based conclusions in practice.
MOV-Bench highlights evaluation gaps in multi-hop audio-visual reasoning and shows consistent gains from agentic search.
A concise look at how PON mitigates input distribution mismatch in heterogeneous FedRL simulation environments.
AI vertical integration is less about chips than controlling the training stack, latency, throughput, utilization, and recovery.
A curated link roundup from recently collected official updates and tech news.
How policy-as-code layers can govern generalist LLM agents by controlling tool use, approvals, and data exposure.
A curated link roundup from recently collected official updates and tech news.
Examines how offloading and preemption affect multi-model LLM serving under GPU memory limits and model-specific costs.
A curated link roundup from recently collected official updates and tech news.
COBALT proposes smartphone and cloud teleoperation to reduce data collection bottlenecks in robot imitation learning.
In handwritten math grading, process understanding matters more than OCR, requiring rubric-based review and human checks.
Multi-image prompts can bypass single-image filters, exposing structural safety gaps in multimodal LLM defenses.
A study on claim verification that proposes ternary decisions and explainable argumentation under incomplete or conflicting evidence.
A curated link roundup from recently collected official updates and tech news.
A curated link roundup from recently collected official updates and tech news.
A case of wrapping Florence-2 with ROS 2 topics, services, and actions for local inference and reproducible integration.
AI-generated code quality varies by task and prompt, so security, maintainability, and risk checks matter more than speed alone.
A look at distributed MADRL for large-scale scheduling, focusing on scalability, adaptability, and design tradeoffs.
A look at research evaluating harmful manipulation through human-AI multi-turn interaction beyond static benchmarks.
Why mathematics must address AI through values, practice, teaching, technology, and ethics to protect autonomy.