大学 × 全分野
千葉大学
全分野 / 2022–2026 LIVE
掲載論文 30 本
論文一覧
30 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
分野をまたぐ同一論文も1本です。総合ポイントは、分野別順位に基づく別の指標です。
2026年
- Lagrangian-Based Duality for Quantified SMT Algorithms
掲載ID:
doi:10.1007/978-3-032-32526-6_4 - Explaining Object Detectors via Collective Contribution of Pixels
掲載ID:
cvf:cvpr2026:ea341fe011f578ac5996b15c - EVEE: Event-Based Online Adaptation for Matching on Unknown Targets
掲載ID:
ecva:eccv2026:04141 - Adversarially Pretrained Transformers May Be Universally Robust In-Context Learners
掲載ID:
iclr:2026:ca0a348ce13a8cabbee9031112743776 - FastAvatar: Towards Unified and Fast 3D Avatar Reconstruction with Large Gaussian Reconstruction Transformers
掲載ID:
iclr:2026:4b00a351b41358965613c118e87dc28c - Causality in Pure Quantum Computation with Quantum Control
掲載ID:
doi:10.4230/lipics.lics.2026.57 - Guarded Negation Transitive Closure Logic
掲載ID:
doi:10.4230/lipics.lics.2026.43 - Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
掲載ID:
doi:10.1145/3808348 - Successive Height Preintegration for a Height-Interdependent Path Formulation of Multiple Bounces in Smith Microfacet BRDFs
掲載ID:
doi:10.1145/3799902.3811194千葉大学 / 京都大学 / 奈良先端科学技術大学院大学
2025年
- Learning from Mistakes: Self-correct Adversarial Training for Chinese Unnatural Text Correction
掲載ID:
doi:10.1609/aaai.v39i22.34561 - Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
掲載ID:
doi:10.1609/aaai.v39i11.33237 - Adapter Merging with Centroid Prototype Mapping for Scalable Class-Incremental Learning
掲載ID:
doi:10.1109/cvpr52734.2025.00460 - Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
掲載ID:
neurips:2025:0d84bfe0c80a1ffbd1f5263065b6c99c - Nola: Later-Free Ghost State for Verifying Termination in Iris
掲載ID:
doi:10.1145/3729250 - A Primal-Dual Perspective on Program Verification Algorithms
掲載ID:
doi:10.1145/3704904
2024年
- Identifying Important Group of Pixels using Interactions
掲載ID:
doi:10.1109/cvpr52733.2024.00575 - Theoretical Understanding of Learning from Adversarial Perturbations
掲載ID:
iclr:2024:f9f2deee6f932fdd2041a23f3871e1f1 - Dynamic-Range Focal Sweep: Seamless Continuous Autofocus Based on High-Speed Vision for Magnified Object Tracking
掲載ID:
doi:10.1109/iros58592.2024.10802751 - Learning to compute Gröbner bases
掲載ID:
neurips:2024:3a1de90699eec7d7f42c91d81f94af16 - Wide Two-Layer Networks can Learn from Adversarial Perturbations
掲載ID:
neurips:2024:6e0274fdb05f21654421db43cd8de042 - Inductive Approach to Spacer
掲載ID:
doi:10.1145/3656457 - Enriched Presheaf Model of Quantum FPC
掲載ID:
doi:10.1145/3632855
2023年
- Approximate Vanishing Ideal Computations at Scale
掲載ID:
openreview:3zpesalkxo - Adversarial Training from Mean Field Perspective
掲載ID:
neurips:2023:edcd1aa172dceda2ea9d45a48f25d3e3 - HFL(Z) Validity Checking for Automated Program Verification
掲載ID:
doi:10.1145/3571199 - Optimal CHC Solving via Termination Proofs
掲載ID:
doi:10.1145/3571214
2022年
- Adversarial Bone Length Attack on Action Recognition
掲載ID:
doi:10.1609/aaai.v36i2.20132 - Dual-camera High Magnification Surveillance System with Non-delay Gaze Control and Always-in-focus Function in Indoor Scenes
掲載ID:
doi:10.1109/iros47612.2022.9981485 - Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
掲載ID:
doi:10.1145/3531130.3533373 - Software model-checking as cyclic-proof search
掲載ID:
doi:10.1145/3498725
掲載対象外の論文や未反映の論文は、この一覧には含まれません。