共 50 条
- [2] Automated Geometry Theorem Proving for Human-Readable Proofs PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1193 - 1199
- [4] Towards Human-readable Smart Contracts 2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (ICBC), 2019, : 38 - 42
- [6] Human-readable preservation of digital images to microfilm IS&T'S 2004 ARCHIVING CONFERENCE, PROCEEDINGS, 2004, : 183 - 186
- [7] HURRA! Human-Readable Router Anomaly Detection IEEE INFOCOM 2020 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2020, : 1320 - 1321
- [9] Building a bridge between human-readable and machine-readable representations of biopolymers ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2018, 256
- [10] Semantic HELM: A Human-Readable Memory for Reinforcement Learning ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,