Search results for "self-verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Niloufar Shoeibi	Analysis of Self-presentation and Self-verification of the Users on Twitter.	DCAI (Special Sessions)	2020	DBLP DOI BibTeX RDF
13	Matthias Althoff, Andrea Giusti, Stefan B. Liu, Aaron Pereira	Effortless creation of safe robots from modules through self-programming and self-verification.	Sci. Robotics	2019	DBLP DOI BibTeX RDF
13	Richard Lemke, Simon Merz	The Prevalence and Gratification of Nude Self-Presentation of Men Who Have Sex with Men in Online-Dating Environments: Attracting Attention, Empowerment, and Self-Verification.	Cyberpsychology Behav. Soc. Netw.	2018	DBLP DOI BibTeX RDF
13	Eiji Fujiwara, Nobuo Mutoh, Kohji Matsuoka	A Self-Testing Group-Parity Prediction Checker and Its Use for Built-In Testing.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	self-verification, error-detection ability, group-parity prediction checker, self-testing, Built-in testing, duplication, self-checking checker, fault-detection ability
10	Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.	VECPAR	2008	DBLP DOI BibTeX RDF	Topics of the conference list Numerical algorithms for CS? Parallel or Distributed Computation and Cluster Computation
9	Dheeraj Mekala, Jason Weston, Jack Lanchantin, Roberta Raileanu, Maria Lomeli, Jingbo Shang, Jane Dwivedi-Yu	TOOLVERIFIER: Generalization to New Tools via Self-Verification.	CoRR	2024	DBLP DOI BibTeX RDF
9	Kaya Stechly, Karthik Valmeekam, Subbarao Kambhampati	On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks.	CoRR	2024	DBLP DOI BibTeX RDF
9	Fatemeh Shirinzadeh, Arighna Deb, Saeideh Shirinzadeh, Abhoy Kole, Kamalika Datta, Rolf Drechsler	In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures.	VLSID	2024	DBLP DOI BibTeX RDF
9	Zelalem Gero, Chandan Singh, Hao Cheng 0002, Tristan Naumann, Michel Galley, Jianfeng Gao 0001, Hoifung Poon	Self-Verification Improves Few-Shot Clinical Information Extraction.	CoRR	2023	DBLP DOI BibTeX RDF
9	Aojun Zhou, Ke Wang, Zimu Lu, Weikang Shi, Sichun Luo, Zipeng Qin, Shaoqing Lu, Anya Jia, Linqi Song, Mingjie Zhan, Hongsheng Li 0001	Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification.	CoRR	2023	DBLP DOI BibTeX RDF
9	Vernon Toh, Ratish Puduppully, Nancy F. Chen	VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency.	CoRR	2023	DBLP DOI BibTeX RDF
9	Ruixin Hong, Hongming Zhang 0009, Xinyu Pang, Dong Yu 0001, Changshui Zhang	A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
9	Mayi Xu, Ke Sun 0010, Yongqi Li 0002, Tieyun Qian	Cold-Start Multi-hop Reasoning by Hierarchical Guidance and Self-verification.	ECML/PKDD (2)	2023	DBLP DOI BibTeX RDF
9	Yixuan Weng, Minjun Zhu, Fei Xia, Bin Li 0083, Shizhu He, Shengping Liu, Bin Sun, Kang Liu 0001, Jun Zhao 0001	Large Language Models are Better Reasoners with Self-Verification.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
9	Owen Macmann, Rick Graves, Kelly Cohen	Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems.	NAFIPS	2023	DBLP DOI BibTeX RDF
9	Yixuan Weng, Minjun Zhu, Shizhu He, Kang Liu 0001, Jun Zhao 0001	Large Language Models are reasoners with Self-Verification.	CoRR	2022	DBLP DOI BibTeX RDF
9	Buse Ustaoglu	Hardware packages for self-verification and secure partial reconfiguration / von Buse Ustaoğlu.		2022	RDF
9	Zhenlong Man, Jinqing Li, Xiaoqiang Di	Medical image encryption scheme based on self-verification matrix.	IET Image Process.	2021	DBLP DOI BibTeX RDF
9	Huangxing Lin, Yihong Zhuang, Delu Zeng, Yue Huang 0001, Xinghao Ding, John W. Paisley	Self-Verification in Image Denoising.	CoRR	2021	DBLP BibTeX RDF
9	Jinyoung Min, Youngjin Yoo, Hyeyoung Hah, Heeseok Lee	Social network technology (SNT) as a tool and a social actor: from self-verification to SNT use.	Internet Res.	2020	DBLP DOI BibTeX RDF
9	Wei-Bin Lee, Hsing-Bai Chen, Shun-Shyan Chang, Tzungher Chen	Secure and efficient protection for HTTP cookies with self-verification.	Int. J. Commun. Syst.	2019	DBLP DOI BibTeX RDF
9	Virach Sornlertlamvanich, Kitiya Suriyachay, Thatsanee Charoenporn	Thai Named Entity Corpus Annotation Scheme and Self Verification by BiLSTM-CNN-CRF.	LCT	2019	DBLP DOI BibTeX RDF
9	Marc L. Schmalz, Michelle Carter 0001, Jin Ha Lee 0001	It's Not You, It's Me: : Identity, Self-Verification, and Amazon Reviews.	Data Base	2018	DBLP DOI BibTeX RDF
9	Matthias Dorfer, Gerhard Widmer	Training general-purpose audio tagging networks with noisy labels and iterative self-verification.	DCASE	2018	DBLP BibTeX RDF
9	Buse Ustaoglu, Sebastian Huhn 0001, Daniel Große, Rolf Drechsler	SAT-Lancer: A Hardware SAT-Solver for Self-Verification.	ACM Great Lakes Symposium on VLSI	2018	DBLP DOI BibTeX RDF
9	Taehwan Kim, Jongsun Park 0001	Spin Orbit Torque-RAM Write Energy Reduction with Self-Verification Scheme.	ISOCC	2018	DBLP DOI BibTeX RDF
9	Fritjof Bornebusch, Robert Wille, Rolf Drechsler	Towards lightweight satisfiability solvers for self-verification.	ISED	2017	DBLP DOI BibTeX RDF
9	Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange 0001, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland	Towards Self-Verification in Finite Difference Code Generation.	CORRECTNESS@SC	2017	DBLP DOI BibTeX RDF
9	Labiba Gillani Fahad, Asifullah Khan, Muttukrishnan Rajarajan	Activity recognition in smart homes with self verification of assignments.	Neurocomputing	2015	DBLP DOI BibTeX RDF
9	Rolf Drechsler, Martin Fränzle, Robert Wille	Envisioning self-verification of electronic systems.	ReCoSoC	2015	DBLP DOI BibTeX RDF
9	Rolf Drechsler, Hoang Minh Le 0001, Mathias Soeken	Self-Verification as the Key Technology for Next Generation Electronic Systems.	SBCCI	2014	DBLP DOI BibTeX RDF
9	Tzungher Chen, Wei-Bin Lee, Hsing-Bai Chen	A self-verification authentication mechanism for mobile satellite communication systems.	Comput. Electr. Eng.	2009	DBLP DOI BibTeX RDF
9	Aaron Z. Zimmerman	Self-Verification and the Content of Thought.	Synth.	2006	DBLP DOI BibTeX RDF
9	John Harrison 0001	Towards Self-verification of HOL Light.	IJCAR	2006	DBLP DOI BibTeX RDF
9	Ron Winston, Alain Barthe	Progress of the International Conformance Test Standards as a Tool for DTE Self-Verification.	ICCC	1986	DBLP BibTeX RDF
5	Maurice Herlihy, Flavio Paiva Junqueira, Keith Marzullo, Lucia Draque Penso	Optimizing Threshold Protocols in Adversarial Structures.	DISC	2008	DBLP DOI BibTeX RDF