( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
IsarStep: a Benchmark for High-level Mathematical Reasoning.

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

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

 

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

Histogram-Based Road Markings Extraction by Using 3D Laser Imaging., , и . IEEE SENSORS, стр. 1-4. IEEE, (2018)Passive wireless sensing for unsupervised human activity recognition in healthcare., , , и . IWCMC, стр. 1528-1533. IEEE, (2017)A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration., , , и . CSCWD, стр. 546-551. IEEE, (2021)A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL., , и . CoRR, (2015)Aggregation based Cell Selection Methods for multi-RAT HetNet., , , и . WCSP, стр. 1-5. IEEE, (2016)Proving Theorems Recursively., , , , , , , , , и 1 other автор(ы). CoRR, (2024)Message-passing Selection: Towards Interpretable GNNs for Graph Classification., , , , , , , и . Tiny Papers @ ICLR, OpenReview.net, (2023)EndoSelf: Self-supervised Monocular 3D Scene Reconstruction of Deformable Tissues with Neural Radiance Fields on Endoscopic Videos., , , , , и . MICCAI (6), том 15006 из Lecture Notes in Computer Science, стр. 241-251. Springer, (2024)Learning a Mini-Batch Graph Transformer via Two-Stage Interaction Augmentation., , , , , и . ECAI, том 392 из Frontiers in Artificial Intelligence and Applications, стр. 3015-3022. IOS Press, (2024)Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem., и . CPP, стр. 52-64. ACM, (2019)