Results 131 to 140 of about 123,701 (142)

Extension Preservation in the Finite and Prefix Classes of First Order Logic

Annual Conference for Computer Science Logic, 2020
It is well known that the classic Łoś-Tarski preservation theorem fails in the finite: there are first-order definable classes of finite structures closed under extensions which are not definable (in the finite) in the existential fragment of first-order
A. Dawar, Abhisekh Sankaran
semanticscholar   +1 more source

Revisiting Zeroth-Order Optimization for Memory-Efficient LLM Fine-Tuning: A Benchmark

International Conference on Machine Learning
In the evolving landscape of natural language processing (NLP), fine-tuning pre-trained Large Language Models (LLMs) with first-order (FO) optimizers like SGD and Adam has become standard. Yet, as LLMs grow {in size}, the substantial memory overhead from
Yihua Zhang, Pingzhi Li, Junyuan Hong, Jiaxiang Li, Yimeng Zhang, Wenqing Zheng, Pin-Yu Chen, Jason D. Lee, Wotao Yin, Mingyi Hong, Zhangyang Wang, Sijia Liu, Tianlong Chen   +12 more
semanticscholar   +1 more source

Private Fine-tuning of Large Language Models with Zeroth-order Optimization

Trans. Mach. Learn. Res.
Differentially private stochastic gradient descent (DP-SGD) allows models to be trained in a privacy-preserving manner, but has proven difficult to scale to the era of foundation models.
Xinyu Tang, Ashwinee Panda, Milad Nasr, Saeed Mahloujifar, Prateek Mittal   +4 more
semanticscholar   +1 more source

A resonant metamaterial clock distribution network for superconducting logic

Nature Electronics, 2022
J. Strong, V. Talanov, Max E. Nielsen, Andrew Brownfield, N. Bailey, Q. Herr, A. Herr   +6 more
semanticscholar   +1 more source

The monotonicity and convexity of unnormalized interval type-2 TSK Fuzzy Logic Systems

International Conference on Fuzzy Systems, 2010
Tiechao Wang, J. Yi, Chengdong Li
semanticscholar   +1 more source

A Model of Tolerance

Studia Logica: An International Journal for Symbolic Logic, 2008
E. Zardini
semanticscholar   +1 more source

Operator Algebras and Quantum Logic

, 2004
M. Rédei
semanticscholar   +1 more source

FMD: functional development in Excel

CUFP '09, 2009
L. Benfield
semanticscholar   +1 more source

Hybrid layered manufacturing: Direct rapid metal tool-making process

, 2004
K. Karunakaran, A. Sreenathbabu, V. Pushpa   +2 more
semanticscholar   +1 more source

Combining microwave radiometer and wind profiler radar measurements to improve accuracy and resolution of atmospheric humidity profiling

IGARSS 2003. 2003 IEEE International Geoscience and Remote Sensing Symposium. Proceedings (IEEE Cat. No.03CH37477), 2003
L. Bianco, D. Cimini, F. Marzano, R. Ware   +3 more
semanticscholar   +1 more source