( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

, , , , , , , , и . ICLR, OpenReview.net, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Elvira Wenda

Klaus Wenda

Eliane Wenda

Berit Wenda

Klaus Wenda

 

Другие публикации лиц с тем же именем

Opportunistic Doppler-Only Indoor Localization Via Passive Radar., , и . DASC/PiCom/DataCom/CyberSciTech, стр. 467-473. IEEE Computer Society, (2018)Automatic Road Condition Assessment by Using Point Laser Sensor., , и . IEEE SENSORS, стр. 1-4. IEEE, (2018)Doppler Sensing Using WiFi Round-Trip Channel State Information., , , , и . WCNC, стр. 1-6. IEEE, (2023)Autoformalization with Large Language Models., , , , , , и . NeurIPS, (2022)Self-supervised depth estimation with uncertainty-weight joint loss function based on laparoscopic videos., , , , , и . Medical Imaging: Image-Guided Procedures, том 12034 из SPIE Proceedings, SPIE, (2022)Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency., , , , , и . MICCAI (4), том 13434 из Lecture Notes in Computer Science, стр. 467-477. Springer, (2022)IsarStep: a Benchmark for High-level Mathematical Reasoning., , , и . ICLR, OpenReview.net, (2021)Pi-NIC: Indoor Sensing Using Synchronized Off-The-Shelf Wireless Network Interface Cards and Raspberry Pis., , , , , , и . JC&S, стр. 1-6. IEEE, (2022)A Formal Proof of Cauchy's Residue Theorem., и . ITP, том 9807 из Lecture Notes in Computer Science, стр. 235-251. Springer, (2016)Human Activity Recognition With Commercial WiFi Signals., , , , , , и . IEEE Access, (2022)