NeFut
中
Admin Login
Search
2026-07-14 22:00
[CS.AI] Diversifying Verification: Differences in Verifiability of Task-Equivalent Programs
#LLM #Verification #Software Engineering
2026-07-14 22:00
[CS.AI] Adversarial Co-Learning and Explainable Robustness in Quantum Repeater Networks
#algorithm #Open Source #Quantum
2026-07-14 22:00
[CS.AI] STEEL: Sparsity-Aware Fused Attention for Energy-Efficient Long-Sequence Inference on AMD's XDNA NPU
#algorithm #Open Source #Neural
2026-07-14 22:00
[CS.AI] Fully Trainable Deep Differentiable Logic Gate and Lookup Table Networks
#AI #Machine Learning #optimization
2026-07-13 22:00
[Core Tech] Arthur Bahr Appointed Head of MIT Literature Section
#AI #Open Source #Literature
«
1
...
1028
1029
1030
1031
1032
...
1374
»
