( en | de | ru )

 

Disambiguierung von "Li, Wenda"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
IsarStep: a Benchmark for High-level Mathematical Reasoning.

, , , und . ICLR, OpenReview.net, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Elvira Wenda

Klaus Wenda

Eliane Wenda

Berit Wenda

Klaus Wenda

 

Weitere Publikationen von Autoren mit dem selben Namen

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