diff --git a/goldens/public-api/core/index.api.md b/goldens/public-api/core/index.api.md
index 7f0237fc9ae..48348e13ec4 100644
--- a/goldens/public-api/core/index.api.md
+++ b/goldens/public-api/core/index.api.md
@@ -1019,6 +1019,8 @@ export interface InputFunction {
     <T>(initialValue: undefined, opts: InputOptionsWithoutTransform<T>): InputSignal<T | undefined>;
     <T, TransformT>(initialValue: T, opts: InputOptionsWithTransform<T, TransformT>): InputSignalWithTransform<T, TransformT>;
     <T, TransformT>(initialValue: undefined, opts: InputOptionsWithTransform<T | undefined, TransformT>): InputSignalWithTransform<T | undefined, TransformT>;
+    <T>(initialValue: T, opts: InputOptionsWithTransform<T, unknown>): InputSignalWithTransform<T, T>;
+    <T>(initialValue: undefined, opts: InputOptionsWithTransform<T | undefined, unknown>): InputSignalWithTransform<T | undefined, T | undefined>;
     required: {
         <T>(opts?: InputOptionsWithoutTransform<T>): InputSignal<T>;
         <T, TransformT>(opts: InputOptionsWithTransform<T, TransformT>): InputSignalWithTransform<T, TransformT>;
diff --git a/packages/core/src/authoring/input/input.ts b/packages/core/src/authoring/input/input.ts
index a88007cd41b..dcc4394f8a8 100644
--- a/packages/core/src/authoring/input/input.ts
+++ b/packages/core/src/authoring/input/input.ts
@@ -77,6 +77,19 @@ export interface InputFunction {
     initialValue: undefined,
     opts: InputOptionsWithTransform<T | undefined, TransformT>,
   ): InputSignalWithTransform<T | undefined, TransformT>;
+  /**
+   * Declares an input of type `T` with an initial value and a transform function
+   * that accepts values of the same type.
+   */
+  <T>(initialValue: T, opts: InputOptionsWithTransform<T, unknown>): InputSignalWithTransform<T, T>;
+  /**
+   * Declares an input of type `T|undefined` without an initial value and with a transform
+   * function that accepts values of the same type.
+   */
+  <T>(
+    initialValue: undefined,
+    opts: InputOptionsWithTransform<T | undefined, unknown>,
+  ): InputSignalWithTransform<T | undefined, T | undefined>;
 
   /**
    * Initializes a required input.
diff --git a/packages/core/test/authoring/signal_input_signature_test.ts b/packages/core/test/authoring/signal_input_signature_test.ts
index ba4a8c3c2e3..5f1d0a060ab 100644
--- a/packages/core/test/authoring/signal_input_signature_test.ts
+++ b/packages/core/test/authoring/signal_input_signature_test.ts
@@ -12,7 +12,7 @@
  * the resulting types match our expectations (via comments asserting the `.d.ts`).
  */
 
-import {input} from '../../src/core';
+import {booleanAttribute, input, numberAttribute} from '../../src/core';
 // import preserved to simplify `.d.ts` emit and simplify the `type_tester` logic.
 // tslint:disable-next-line no-duplicate-imports
 import {InputSignal, InputSignalWithTransform} from '../../src/core';
@@ -102,6 +102,19 @@ export class InputSignatureTest {
     transform: (v: string | boolean) => '',
   });
 
+  /** boolean, boolean */
+  explicitReadWithBooleanAttributeTransform = input<boolean>(false, {transform: booleanAttribute});
+  /** number, number */
+  explicitReadWithNumberAttributeTransform = input<number>(0, {transform: numberAttribute});
+  /** boolean | undefined, boolean | undefined */
+  explicitReadWithUndefinedInitialBooleanAttributeTransform = input<boolean>(undefined, {
+    transform: booleanAttribute,
+  });
+  /** number | undefined, number | undefined */
+  explicitReadWithUndefinedInitialNumberAttributeTransform = input<number>(undefined, {
+    transform: numberAttribute,
+  });
+
   /** string, string | boolean */
   requiredWithTransformInferenceNoExplicitGeneric = input.required({
     transform: (v: string | boolean) => '',